From 85fddf82c6ddc3327ea93e0adea3c76449a84b5c Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Tue, 4 Dec 2007 10:29:00 +0000 Subject: [PATCH] vt-d: Print messages when: - vt-d has been enabled by xen - user attempts assign a PCI device that has already been assigned to another hvm guest Signed-off-by: Allen Kay --- xen/arch/x86/domctl.c | 5 +++++ xen/arch/x86/hvm/vmx/vtd/dmar.c | 2 ++ 2 files changed, 7 insertions(+) diff --git a/xen/arch/x86/domctl.c b/xen/arch/x86/domctl.c index 03a0e1e57d..09633cba14 100644 --- a/xen/arch/x86/domctl.c +++ b/xen/arch/x86/domctl.c @@ -546,7 +546,12 @@ long arch_do_domctl( devfn = (domctl->u.assign_device.machine_bdf >> 8) & 0xff; if ( device_assigned(bus, devfn) ) + { + gdprintk(XENLOG_ERR, "XEN_DOMCTL_assign_device: " + "%x:%x:%x already assigned\n", + bus, PCI_SLOT(devfn), PCI_FUNC(devfn)); break; + } ret = assign_device(d, bus, devfn); gdprintk(XENLOG_INFO, "XEN_DOMCTL_assign_device: bdf = %x:%x:%x\n", diff --git a/xen/arch/x86/hvm/vmx/vtd/dmar.c b/xen/arch/x86/hvm/vmx/vtd/dmar.c index 1d11cd960e..49aa994a49 100644 --- a/xen/arch/x86/hvm/vmx/vtd/dmar.c +++ b/xen/arch/x86/hvm/vmx/vtd/dmar.c @@ -553,5 +553,7 @@ int acpi_dmar_init(void) return -ENODEV; } + printk("Intel VT-d has been enabled\n"); + return 0; } -- 2.30.2